Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 288 results
Sort by: relevance publication year

Computation of Algebraic Solutions to Interval Systems Via Systems of Coordinates

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Svetoslav Markov

https://doi.org/10.1007/978-1-4757-6484-0_9 Actions

Verified Solutions of Systems of Nonlinear Polynomial Equations

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Daniela Fausten | Wolfram Luther

https://doi.org/10.1007/978-1-4757-6484-0_12 Actions

Towards Diagrammatic Analysis of Systems of Interval “Linear Equations”

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Zenon Kulpa

https://doi.org/10.1007/978-1-4757-6484-0_10 Actions

Modeling of Multibody Systems with Interval Arithmetic

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Christian Hörsken | Holger Traczinski

https://doi.org/10.1007/978-1-4757-6484-0_26 Actions

An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: Joachim Engelmann | Gerd Baumann

https://doi.org/10.1007/978-3-642-56666-0_14 Actions

Parametric Systems of Linear Congruences

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: Andreas Dolzmann | Thomas Sturm

https://doi.org/10.1007/978-3-642-56666-0_12 Actions

Solution of Systems of Linear Diophantine Equations

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: Gennadi I. Malaschonok

https://doi.org/10.1007/978-3-642-56666-0_31 Actions

On the Solution of Parametrised Linear Systems

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Evgenija D. Popova

https://doi.org/10.1007/978-1-4757-6484-0_11 Actions

Conservative Finite Difference Schemes for Cosymmetric Systems

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: Bülent Karasözen | Vyacheslav G. Tsybulin

https://doi.org/10.1007/978-3-642-56666-0_27 Actions

Interval Input and Output

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Eero Hyvönen

https://doi.org/10.1007/978-1-4757-6484-0_4 Actions

Algebraic Identification Algorithm and Application to Dynamical Systems

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: Farida Benmakrouha | Christiane Hespel | Gérard Jacob | Edouard Monnier

https://doi.org/10.1007/978-3-642-56666-0_4 Actions

Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: Serguei P. Tsarev

https://doi.org/10.1007/978-3-642-56666-0_40 Actions

Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: Valentin Irtegov | Tatyana Titorenko

https://doi.org/10.1007/978-3-642-56666-0_25 Actions

Plus Ça Change

JOURNAL ARTICLE published November 2001 in Scientific American

Authors: Graham P. Collins

https://doi.org/10.1038/scientificamerican1101-16 Actions

Automatic Test Case Generation Using Interval Arithmetic

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Günter Schumacher | Armin Bantle

https://doi.org/10.1007/978-1-4757-6484-0_7 Actions

The Methods of Computer Algebra and the Arnold-Moser Theorem

BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001

Authors: E. A. Grebenikov

https://doi.org/10.1007/978-3-642-56666-0_22 Actions

On the Hull of the Solution Sets of Interval Linear Equations

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Jana Konickova

https://doi.org/10.1007/978-1-4757-6484-0_8 Actions

Analysis of the Qanda Mathpresso question queuing system model using max-plus interval algebra

PROCEEDINGS ARTICLE published 2024 in PROCEEDINGS OF THE 2ND INTERNATIONAL INTERDISCIPLINARY SCIENTIFIC CONFERENCE “DIGITALIZATION AND SUSTAINABILITY FOR DEVELOPMENT MANAGEMENT: ECONOMIC, SOCIAL, AND ENVIRONMENTAL ASPECTS”

Authors: Ardhan Arbyantono

https://doi.org/10.1063/5.0184843 Actions

About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and Its Applications

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: Anatoliy Prykarpatsky | Stanislaw Brzychczy | V. Samoylenko

https://doi.org/10.1007/978-1-4757-6484-0_24 Actions

A Case for Interval Hardware on Superscalar Processors

BOOK CHAPTER published 2001 in Scientific Computing, Validated Numerics, Interval Methods

Authors: James E. Stine | Michael J. Schulte

https://doi.org/10.1007/978-1-4757-6484-0_5 Actions
Feedback: support@crossref.org